stubdom: Clean extras/mini-os directory during make clean
authorDaniel Kiper <daniel.kiper@oracle.com>
Tue, 7 May 2013 11:51:41 +0000 (13:51 +0200)
committerIan Campbell <ian.campbell@citrix.com>
Wed, 8 May 2013 11:14:39 +0000 (12:14 +0100)
commit2bf87074e17e77ca761e3490e5f054175e082e5b
tree9033e8ab08c0cadd06f0cca8003b54600cef1053
parent03b90b005939416463c79a45d91729e8a00742fa
stubdom: Clean extras/mini-os directory during make clean

Signed-off-by: Daniel Kiper <daniel.kiper@oracle.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
stubdom/Makefile